The Paderborn University BSP (PUB) Library - Design, Implementation and Performance
نویسندگان
چکیده
The Paderborn University BSP (PUB) library is a parallel C library based on the BSP model. The basic library supports buffered and unbuffered asynchronous communication between any pair of processors, and a mechanism for synchronizing the processors in a barrier style. In addition, it provides routines for collective communication on arbitrary subsets of processors, partition operations, and a zero-cost synchronization mechanism. Furthermore, some techniques used in its implementation deviate significantly from the techniques used in other BSP libraries.
منابع مشابه
The Paderborn University Bsp (pub) Library { Design and Implementation
The Paderborn University BSP (PUB) library is a C library of message passing functions inspired by the BSP model. The library supports buuered and unbuuered asynchronous communication between processors, and a mechanism for synchronizing the processors in a barrier style. In addition, it provides routines for collective communication on any arbitrary subset of processors, such as broadcast and ...
متن کاملThe Paderborn University BSP ( PUB ) library q
The Paderborn University BSP (PUB) library is a C communication library based on the BSP model. The basic library supports buffered as well as unbuffered non-blocking communication between any pair of processors and a mechanism for synchronizing the processors in a barrier style. In addition, PUB provides non-blocking collective communication operations on arbitrary subsets of processors, the a...
متن کاملFrom BSP routines to high-performance ones: Formal verification of a transformation case
PUB (Paderborn University BSPLib) is a C library supporting the development of Bulk-Synchronous Parallel (BSP) algorithms. We present a formal semantics that emphasises the high-performance primitives of the PUB. This semantics is here used to formally verify (using the Coq proof assistant) a simple optimization of the source code that transforms classical BSP routines to their high-performance...
متن کاملFormal Operational Semantics of a Core Imperative BSP language Application to the proof of a numerical program and a certified optimization
PUB (Paderborn University BSPLib) is a C library supporting the development of Bulk-Synchronous Parallel (BSP) algorithms. The BSP model allows an estimation of the execution time, avoids deadlocks and indeterminism. This paper presents three formal operational semantics for a C+PUB subset language using the Coq proof assistant. A first semantics, for classical BSP operations, has been used to ...
متن کامل